化简cos[(4k+1)π/4+x]+cos[(4k-1)π/4-x]